This volume explores the use of higher-order logics in metaphysics. Higher-order logics are natural extensions of the common systems of predicate logic, with a history going back to the very beginnings of formal logic. Such logics are well suited to formalize metaphysical views and arguments. Over the last decade, there has been a resurgence of interest in higher-order metaphys...(展开全部)

This book articulates and defends Fregean realism, a theory of properties based on Frege’s insight that properties are not objects, but rather the satisfaction conditions of predicates. Robert Trueman argues that this approach is the key not only to dissolving a host of longstanding metaphysical puzzles, such as Bradley’s Regress and the Problem of Universals, but also to under...(展开全部)

We often have reason to doubt our own ability to form rational beliefs, or to doubt that some particular belief of ours is rational. Perhaps we learn that a trusted friend disagrees with us about what our shared evidence supports. Or perhaps we learn that our beliefs have been afflicted by motivated reasoning or by other cognitive biases. These are examples of higher-order evid...(展开全部)

The higher-order evidence debate concerns how higher-order evidence affects the rationality of our first-order beliefs. This Element has two parts. The first part (Sections 1 and 2) provides a critical overview of the literature, aiming to explain why the higher-order evidence debate is interesting and important. The second part (Sections 3 to 6) defends calibrationism, the vie...(展开全部)

We often have reason to doubt our own ability to form rational beliefs, or to doubt that some particular belief of ours is rational. Perhaps we learn that a trusted friend disagrees with us about what our shared evidence supports. Or perhaps we learn that our beliefs have been afflicted by motivated reasoning or by other cognitive biases. These are examples of higher-order evid...(展开全部)

This is the first comprehensive textbook on higher order logic that is written specifically to introduce the subject matter to graduate students in philosophy. The book covers both the formal aspects of higher-order languages — their model theory and proof theory, the theory of λ-abstraction and its generalizations — and their philosophical applications, especially to the topic...(展开全部)

在线阅读本书 Most Perl programmers were originally trained as C and Unix programmers, so the Perl programs that they write bear a strong resemblance to C programs. However, Perl incorporates many features that have their roots in other languages such as Lisp. These advanced features are not well understood and are rarely used by most Perl programmers, but they are very powerful. T...(展开全部)

在线阅读本书 Most Perl programmers were originally trained as C and Unix programmers, so the Perl programs that they write bear a strong resemblance to C programs. However, Perl incorporates many features that have their roots in other languages such as Lisp. These advanced features are not well understood and are rarely used by most Perl programmers, but they are very powerful. T...(展开全部)

简介：如果…这一切都没有发生就好了……但是……不可能了。这真的只是幻想吗？